tools/flask: remove libflask
authorDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 6 Feb 2012 13:03:32 +0000 (05:03 -0800)
committerDaniel De Graaf <dgdegra@tycho.nsa.gov>
Mon, 6 Feb 2012 13:03:32 +0000 (05:03 -0800)
commitde9eedb0d2fec5003e528c8d8b0f772a587c6049
treeb3d9016db22e79d1df824a6318abbb4e819cd7b1
parent52ff92ec89ea79108bf3347b19eb5d35fac9d2e1
tools/flask: remove libflask

This library has been deprecated since July 2010; remove the in-tree
users and library.

Signed-off-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Committed-by: Keir Fraser <keir@xen.org>
15 files changed:
tools/flask/Makefile
tools/flask/libflask/Makefile [deleted file]
tools/flask/libflask/flask_op.c [deleted file]
tools/flask/libflask/include/libflask.h [deleted file]
tools/flask/utils/Makefile
tools/flask/utils/get-bool.c
tools/flask/utils/getenforce.c
tools/flask/utils/label-pci.c
tools/flask/utils/loadpolicy.c
tools/flask/utils/set-bool.c
tools/flask/utils/setenforce.c
tools/libxc/xc_flask.c
tools/libxc/xenctrl.h
tools/python/setup.py
tools/python/xen/lowlevel/flask/flask.c